Validation and Verification of Aircraft Control Software for Control Improvement
نویسندگان
چکیده
VALIDATION AND VERIFICATION OF AIRCRAFT CONTROL SOFTWARE FOR CONTROL IMPROVEMENT
منابع مشابه
Integrated Model-Based Controls and PHM for Improving Turbine Engine Performance, Reliability, and Cost
Control of high performance military aircraft propulsion systems continues to become more complex in response to increasingly demanding operational and multiple mission needs. Propulsion systems of the future will require adaptive engine control to enable precise and repeatable performance within stringent reliability, safety and cost constraints. In order to achieve performance that meets thes...
متن کاملOptimized Fuzzy Logic for Nonlinear Vibration Control of Aircraft Semi-active Shock Absorber with Input Constraint (TECHNICAL NOTE)
Landing impact and runway unevenness have proximate consequence on performance of landing gear system and conduce to discomfort of passengers and reduction of the pilot’s capability to control aircraft. Finally, vibrations caused by them result in structure fatigue. Fuzzy logic controller is used frequently in different applications because of simplicity in design and implementation. In the pre...
متن کاملNeural Network Applications in Advanced Aircraft Flight Control System, a Hybrid System, a Flight Test Demonstration
Modern exploration missions require modern control systems that can handle catastrophic changes in behavior, compensate for slow deterioration in sustained operations, and support fast system identification. The dynamics and control of new vehicles remains a significant technical challenge. Neural network based adaptive controllers have these capabilities, but they can only be used safely if pr...
متن کاملWhere Is the Value in a Program Verifier?
The Systems Assurance Group at QinetiQ in Malvern has used mechanical proof techniques to verify three successive versions of Typhoon’s flight control laws implemented in Ada. Approximately 37,000 lines of code were checked against three different Simulink specifications scheduled over 3 processors. Each evolution of the control laws led to a change to about a third of the Ada source code each ...
متن کاملBayesian Software Health Management for Aircraft Guidance, Navigation, and Control
Modern aircraft—both piloted fly-by-wire commercial aircraft as well as UAVs—more and more depend on highly complex safety critical software systems with many sensors and computer-controlled actuators. Despite careful design and V&V of the software, severe incidents have happened due to malfunctioning software. In this paper, we discuss the use of Bayesian networks to monitor the health of the ...
متن کامل